A Component-oriented Framework for Autonomous Agents

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components

The mineralogical composition of calcium and calcium-magnesium carbonate pedofeatures of calcareous soils in the European prairie ecodivision in Hungary

Abstract There is little data on the mineralogy of carbonate pedofeatures in the calcareous soils in Hungary which belong to the European prairie ecodivision. The aim of the present study is to enrich these data. The mineralogical composition of the carbonate pedofeatures from characteristic profiles of the calcareous soils in Hungary was studied by X-ray diffractometry, thermal analysis, SEM combined with microanalysis, and stable isotope determination. Regarding carbonate minerals only aragonite, calcite (+ magnesian calcite) and dolomite (+proto-dolomite) were identified in carbonate grains, skeletons and pedofeatures. The values relating, respectively, to stable isotope compositions (C13, O18) of carbonates in chernozems and in salt-affected soils were in the same range as those for recent soils (latter data reported earlier). There were no considerable differences between the values for the carbonate nodules and tubules from the same horizons, nor were there significant variations between the values of the same pedofeatures from different horizons (BC-C) of the same profile. Thus it can be assumed that there were no considerable changes in conditions of formation. Tendencies were recognized in the changes of (i) carbonate mineral associations, (ii) the MgCO3 content of calcites, (iii) the corrected decomposition temperatures, and (iv) the activation energies of carbonate thermal decompositions among the various substance-regimes of soils. Differences were found in substance-regimes types of soils rather than in soil types

Targeted Next-Generation Sequencing Analysis of 1,000 Individuals with Intellectual Disability.

To identify genetic causes of intellectual disability (ID), we screened a cohort of 986 individuals with moderate to severe ID for variants in 565 known or candidate ID-associated genes using targeted next-generation sequencing. Likely pathogenic rare variants were found in ∼11% of the cases (113 variants in 107/986 individuals: ∼8% of the individuals had a likely pathogenic loss-of-function [LoF] variant, whereas ∼3% had a known pathogenic missense variant). Variants in SETD5, ATRX, CUL4B, MECP2, and ARID1B were the most common causes of ID. This study assessed the value of sequencing a cohort of probands to provide a molecular diagnosis of ID, without the availability of DNA from both parents for de novo sequence analysis. This modeling is clinically relevant as 28% of all UK families with dependent children are single parent households. In conclusion, to diagnose patients with ID in the absence of parental DNA, we recommend investigation of all LoF variants in known genes that cause ID and assessment of a limited list of proven pathogenic missense variants in these genes. This will provide 11% additional diagnostic yield beyond the 10%-15% yield from array CGH alone.Action Medical Research (SP4640); the Birth Defect Foundation (RG45448); the Cambridge National Institute for Health Research Biomedical Research Centre (RG64219); the NIHR Rare Diseases BioResource (RBAG163); Wellcome Trust award WT091310; The Cell lines and DNA bank of Rett Syndrome, X-linked mental retardation and other genetic diseases (member of the Telethon Network of Genetic Biobanks (project no. GTB12001); the Genetic Origins of Congenital Heart Disease Study (GO-CHD)- funded by British Heart Foundation (BHF)This is the final version of the article. It first appeared from Wiley via http://dx.doi.org/10.1002/humu.2290

Different glasses to look into the three Cs: Component, connector, coordination

Component, connector, and coordination have been key concepts exploited in different communities to manage the complexity of concurrent and distributed system development. In this paper, we discuss three approaches within three different classes: composition in software architectures, coordination models, and programming abstractions for concurrency. These classes encompass different perspectives and solutions to face crucial challenges in developing concurrent and distributed systems. The approaches are discussed with respect to some characteristics of interest for the above classes: compositionality, incrementality, scalability, compositional reasoning, reusability, and evolution